In flight performance and first results of FREGATE

The gamma-ray detector of HETE-2, called FREGATE, has been designed to detect gamma-ray bursts in the energy range [6-400] keV. Its main task is to alert the other instruments of the occurrence of a gamma-ray burst (GRB) and to provide the spectral coverage of the GRB prompt emission in hard X-rays and soft gamma-rays. FREGATE was switched on on October 16, 2000, one week after the successful launch of HETE-2, and has been continuously working since then. We describe here the main characteristics of the instrument, its in-flight performance and we briefly discuss the first GRB observations.Comment: Invited lecture at the Woods Hole 2001 GRB Conference, 8 pages, 15 figure

Development of a modular CdTe detector plane for gamma-ray burst detection below 100 keV

We report on the development of an innovative CdTe detector plane (DPIX) optimized for the detection and localization of gamma-ray bursts in the X-ray band (below 100 keV). DPIX is part of an R&D program funded by the French Space Agency (CNES). DPIX builds upon the heritage of the ISGRI instrument, currently operating with great success on the ESA INTEGRAL mission. DPIX is an assembly of 200 elementary modules (XRDPIX) equipped with 32 CdTe Schottky detectors (4x4 mm2, 1 mm thickness) produced by ACRORAD Co. LTD. in Japan. These detectors offer good energy response up to 100 keV. Each XRDPIX is readout by the very low noise front-end electronics chip IDeF-X, currently under development at CEA/DSM/DAPNIA. In this paper, we describe the design of XRDPIX, the main features of the IDeF-X chip, and will present preliminary results of the reading out of one CdTe Schottky detector by the IDeF-X V1.0 chip. A low-energy threshold around 2.7 keV has been measured. This is to be compared with the 12-15 keV threshold of the ISGRI-INTEGRAL and BAT-SWIFT instruments, which both use similar detector material.Comment: 5 pages, 4 figures in color, Advances in Space Research, COSPAR meeting, Beijing (2006

Continuous cerebroventricular administration of dopamine: A new treatment for severe dyskinesia in Parkinson’s disease?

In Parkinson’s disease (PD) depletion of dopamine in the nigro-striatal pathway is a main pathological hallmark that requires continuous and focal restoration. Current predominant treatment with intermittent oral administration of its precursor, Levodopa (l-dopa), remains the gold standard but pharmacological drawbacks trigger motor fluctuations and dyskinesia. Continuous intracerebroventricular (i.c.v.) administration of dopamine previously failed as a therapy because of an inability to resolve the accelerated dopamine oxidation and tachyphylaxia. We aim to overcome prior challenges by demonstrating treatment feasibility and efficacy of continuous i.c.v. of dopamine close to the striatum. Dopamine prepared either anaerobically (A-dopamine) or aerobically (O-dopamine) in the presence or absence of a conservator (sodium metabisulfite, SMBS) was assessed upon acute MPTP and chronic 6-OHDA lesioning and compared to peripheral l-dopa treatment. A-dopamine restored motor function and induced a dose dependent increase of nigro-striatal tyrosine hydroxylase positive neurons in mice after 7 days of MPTP insult that was not evident with either O-dopamine or l-dopa. In the 6-OHDA rat model, continuous circadian i.c.v. injection of A-dopamine over 30 days also improved motor activity without occurrence of tachyphylaxia. This safety profile was highly favorable as A-dopamine did not induce dyskinesia or behavioral sensitization as observed with peripheral l-dopa treatment. Indicative of a new therapeutic strategy for patients suffering from l-dopa related complications with dyskinesia, continuous i.c.v. of A-dopamine has greater efficacy in mediating motor impairment over a large therapeutic index without inducing dyskinesia and tachyphylaxia

Typechecking and Modules for Multi-Methods

Two major obstacles hindering the wider acceptance of multi-methods are concerns over the lack of encapsulation and modularity and the absence of static typechecking in existing multi-method-based languages. This paper addresses both of these problems. We present a polynomial-time static typechecking algorithm that checks the conformance, completeness, and consistency of a group of method implementations with respect to declared message signatures. This algorithm improves on previous algorithms by handling separate type and inheritance hierarchies, abstract classes, and graph-based method lookup semantics. We also present a module system that enables independently-developed code to be fully encapsulated and statically typechecked on a per-module basis. To guarantee that potential conflicts between independently-developed modules have been resolved, a simple well-formedness condition on the modules comprising a program is checked at link-time. The typechecking algorithm and module system are applicable to a range of multi-method-based languages, but the paper uses the Cecil language as a concrete example of how they can be applied

Type classes in Haskell

This paper de nes a set of type inference rules for resolving overloading introduced by type classes. Programs including type classes are transformed into ones which may be typed by the Hindley-Milner inference rules. In contrast to other work on type classes, the rules presented here relate directly to user programs. An innovative aspect of this work is the use of second-order lambda calculus to record type information in the program. 1